Using data collected from people with at least one brother and one sister, and consistent with an evolutionary perspective, we find that older men and women (a) are more upset by a brother’s partner’s sexual infidelity than by her emotional infidelity and (b) are more upset by a sister’s partner’s emotional infidelity than by his sexual infidelity. There were no effects of participant sex or sex of in-law on upset over a sibling’s partner’s infidelities, but there was an effect of (...) participant sex on reports of upset over one’s own partner’s infidelities. The results suggest that the key variable among older participants is the sex of the sibling or, correspondingly, the sex of the sibling’s partner, as predicted from an evolutionary analysis of reproductive costs, and not the sex of the participant, as predicted from a socialization perspective. Discussion offers directions for future work on jealousy. (shrink)

This book builds on the idea that pragmatics and philosophy are strictly interconnected and that advances in one area will generate consequential advantages in the other area. The first part of the book, entitled ‘Theoretical Approaches to Philosophy of Language’, contains contributions by philosophers of language on connectives, intensional contexts, demonstratives, subsententials, and implicit indirect reports. The second part, ‘Pragmatics in Discourse’, presents contributions that are more empirically based or of a more applicative nature and that deal with the pragmatics (...) of discourse, argumentation, pragmatics and law, and context. The book presents perspectives which, generally, make most of the Gricean idea of the centrality of a speaker’s intention in attribution of meaning to utterances, whether one is interested in the level of sentence-like units or larger chunks of discourse. (shrink)

The concept of a proposition is important in several areas of philosophy and central to the philosophy of language. This collection of readings investigates many different philosophical issues concerning the nature of propositions and the ways they have been regarded through the years. Reflecting both the history of the topic and the range of contemporary views, the book includes articles from Bertrand Russell, Gottlob Frege, the Russell-Frege Correspondence, Alonzo Church, David Kaplan, John Perry, Saul Kripke, Hilary Putnam, Mark Richard, Scott (...) Soames, and Nathan Salmon. (shrink)

In "Counting and Indeterminate Identity", N. Ángel Pinillos develops an argument that there can be no cases of `Split Indeterminate Identity'. Such a case would be one in which it was indeterminate whether a=b and indeterminate whether a=c, but determinately true that b≠c. The interest of the argument lies, in part, in the fact that it appears to appeal to none of the controversial claims to which similar arguments due to Gareth Evans and Nathan Salmon appeal. I argue for (...) two counter-claims. First, the formal argument fails to establish its conclusion, for essentially the same reason Evans's and Salmon's arguments fail to establish their conclusions. Second, the phenomena in which Pinillos is interested, which concern the cardinalities of sets of vague objects, manifest the existence of what Kit Fine called `penumbral connections', phenomena that the logics Pinillos considers are already known not to handle well. (shrink)

With its seventeen papers roughly evenly divided between European and American scholars, Logical Empiricism is a welcome addition to the rapidly growing literature on that movement. It both broadens and deepens our understanding of the logical empiricists themselves. It shows their work often to have been continuous with that of more modern figures. And it explores from a variety of perspectives the connections both between science and philosophy and between the study of historical figures and problems and the ongoing systematic (...) work in the philosophy of science. (shrink)

Sober (1992) has recently evaluated Brandon's (1982, 1990; see also 1985, 1988) use of Salmon's (1971) concept of screening-off in the philosophy of biology. He critiques three particular issues, each of which will be considered in this discussion.

The philosophical theory of scientific explanation proposed here involves a radically new treatment of causality that accords with the pervasively statistical character of contemporary science. Wesley C. Salmon describes three fundamental conceptions of scientific explanation--the epistemic, modal, and ontic. He argues that the prevailing view is untenable and that the modal conception is scientifically out-dated. Significantly revising aspects of his earlier work, he defends a causal/mechanical theory that is a version of the ontic conception. Professor Salmon's theory furnishes (...) a robust argument for scientific realism akin to the argument that convinced twentieth-century physical scientists of the existence of atoms and molecules. To do justice to such notions as irreducibly statistical laws and statistical explanation, he offers a novel account of physical randomness. The transition from the "reviewed view" of scientific explanation to the causal/mechanical model requires fundamental rethinking of basic explanatory concepts. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is here rebutted. Russell-Myhill is not a problem specifically for Alternative (0). (...) Rather it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions--propositions conceived as classes of possible worlds--is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

Reviews the scope, nature, and applications of the philosophical discipline, focusing on methods for distinguishing between valid and fallacious arguments and inferences.

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Some contemporary Russellians, defenders of the view that the semantic content of a proper name, demonstrative or indexical is simply its referent, are prepared to accept that view’s most infamous apparent consequence: that coreferential names, demonstratives, indexicals, etc. are intersubstitutable salva veritate, even in intentional contexts. Nathan Salmon and Scott Soames argue that our recalcitrant intuitions with respect to the famous apparent counterexamples are not semantic intuitions, but rather pragmatic intuitions. Strictly and literally speaking, Lois Lane believes, and even (...) knows that Clark Kent is identical to Superman, since she believes and knows that Superman is identical to Superman. Salmon and Soames attempt to soften our reaction to this shocker by allowing that it is typically misleading to utter the sentence ‘Lois Lane knows that Clark Kent is identical to Superman’, since it pragmatically implicates, without semantically entailing, that Lois Lane would accept the sentence ‘Clark Kent is identical to Superman’. Our compulsive tendency to claim that ‘Lois Lane knows that Clark Kent is Superman’ is false, rather than merely misleading, is due to a confusion between semantics and pragmatics, between truth conditions and conditions of appropriateness of utterance.1 It is probably fair to say that the common reaction to this move in defense of Russellianism is negative. Mark Richard says the following. (shrink)

Alonzo Church famously provided three principal competing criteria for “strict synonymy,” i.e., sameness of semantic content. These are his Alternatives (0), (1), and (2)—numbered in order of increasing course-grainedness of content. On Alternative (2), expressions are deemed strictly synonymous iff they are logically equivalent. This criterion seems hopeless as an account of the objects of propositional attitude. On Alternative (1), expressions are deemed synonymous iff they are λ-convertible. Alternative (1) also evidently conflicts with discourse about the attitudes. On Alternative (0), (...) expressions are deemed strictly synonymous iff they are “synonymously isomorphic” in Church’s sense. On Alternative (0), semantic content is so fine-grained that not even “Romeo loves Juliet” and “Juliet is loved by Romeo” qualify as strictly synonymous. A fourth alternative, here called “Alternative (3),” deems expressions strictly synonymous iff they are co-intensional, i.e., they have the same semantic extension with respect to the same possible worlds. This criterion’s notion of content is even more course grained than that of Alternative (2). Several objections to Alternative (3) are considered. (This article is wholly contained within the author’s more definitive essay, “Singular Concepts”.). (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

University of California, Santa Barbara.

LB.2 This proposition implies that you hold it to be at least possible that some four hundred men should, by some process or other, become invested with the right to make laws of their own – that is, laws wholly of their own device , and therefore necessarily distinct from the law of nature, of the principles of natural justice; and that these laws of their own making shall be really and truly obligatory upon the people of the United States; (...) and that, therefore, the people may rightfully be compelled to obey them. (shrink)

“Room for His majesty! Room for His majesty! Whose voice is the conscience of the American people, and whole throne is in the American heart! I speak now of the Supreme Law of this Land! What is it? It is liberty, clad in the words, and manifested in the forms, of the written charter of our government, ordained to secure it [liberty] for us, and for our posterity! I mean by this, that the Supreme Law of this Land, declared to (...) be so in the charter itself, [What better proof can be required that it is the Supreme Law, than its own declaration that it is so!] is, by its observance, the true and only means of maintaining liberty in this land! Neglect it, forget it, disregard it, disobey it, weary of its commands, and you neglect, you disregard, and you will lose, liberty itself! Obey it, cherish it, studiously respect it, and liberty will flourish, and bless us and our posterity! I don’t think that these simple conditions can need more than this simple statement. [Oh, yes, they need a little proof.] They are sublime in their simplicity! They are incalculable in their value! They are mighty in their truth!”. (shrink)

Women are human beings, and consequently have all the natural rights that any human beings can have. They have just as good a right to make laws as men have, and no better; AND THAT IS JUST NO RIGHT AT ALL. No human being, nor any number of human beings, have any right to make laws, and compel other human beings to obey them. To say that they have is to say that they are the masters and owners of those (...) of whom they require such obedience. (shrink)

SIR, --- Your inaugural address is probably as honest, sensible, and consistent a one as that of any president within the last fifty years, or, perhaps, as any since the foundation of the government. If, therefore, it is false, absurd, self-contradictory, and ridiculous, it is not (as I think) because you are personally less honest, sensible, or consistent than your predecessors, but because the government itself --- according to your own description of it, and according to the practical administration of (...) it for nearly a hundred years --- is an utterly and palpably false, absurd, and criminal one. Such praises as you bestow upon it are, therefore, necessarily false, absurd, and ridiculous. Thus you describe it as "a government pledged to do equal and exact justice to all men." Did you stop to think what that means? Evidently you did not; for nearly, or quite, all the rest of your address is in direct contradiction to it. Let me then remind you that justice is an immutable, natural principle; and not anything that can be made, unmade, or altered by any human power. It is also a subject of science, and is to be learned, like mathematics, or any other science. It does not derive its authority from the commands, will, pleasure, or discretion of any possible combination of men, whether calling themselves a government, or by any other name. It is also, at all times, and in all places, the supreme law. And being everywhere and always the supreme law, it is necessarily everywhere and always the only law. Lawmakers, as they call themselves, can add nothing to it, nor take anything from it. Therefore all their laws, as they call them, --- that is, all the laws of their own making, --- have no color of authority or obligation. It is a falsehood to call them laws; for there is nothing in them that either creates men's duties or rights, or enlightens them as to their duties or rights. There is consequently nothing binding or obligatory about them. And nobody is bound to take the least notice [*4] of them, unless it be to trample them under foot, as usurpations.. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Studdert-Kennedy, Gerald, Evidence and Explanation in Social Science. ... Kauffman, Stuart, "Articulation of Parts Explanation in Biology and the Rational ...

Wesley Salmon is renowned for his seminal contributions to the philosophy of science. He has powerfully and permanently shaped discussion of such issues as lawlike and probabilistic explanation and the interrelation of explanatory notions to causal notions. This unique volume brings together twenty-six of his essays on subjects related to causality and explanation, written over the period 1971-1995. Six of the essays have never been published before and many others have only appeared in obscure venues. The volume includes a (...) section of accessible introductory pieces, as well as more advanced and technical pieces, and will make essential work in the philosophy of science readily available to both scholars and students. (shrink)